Un buvard bien utile !

Algèbres de réalisabilité: un programme pour bien ordonner R

Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...

MULTI-MODAL UTILE DISTINCTIONS Multi-Modal Utile Distinctions

We introduce Multi-Modal Utility Trees (MMU), an algorithm for autonomously learning decision treebased state abstractions in Partially Observable Markov Decision Processes with multi-modal observations. MMU builds the trees using the Kolmogorov-Smirnov statistical test. Additionally, MMU incorporates the ability to perform online tree restructuring, enabling it to build and maintain a compact ...

El Bien Moral

Biblio Bien vieillir nov 2006

Utile or futile: biomarkers in the ICU

Biomarkers complement other clinical information by proving quantitative data regarding a pathophysiological mechanism that can be used for the early diagnosis of a specific disease, to monitor and guide treatment, and to predict the risk of death or other adverse events. The stronger the link between the information provided by the biomarker and the immediate clinical course of action that we ...